241. 8th International Conference on Automated Deduction : Oxford, England, July 27-August 1, 1986 : proceedings
المؤلف: edited by Jorg H. Siekmann
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L4
v
.
230
